University of Cambridge

Results: 5721



#Item
181

A Formal Proof of Cauchy’s Residue Theorem Wenda Li and Lawrence C. Paulson University of Cambridge {wl302,lp15}@cam.ac.uk August 22, 2016

Add to Reading List

Source URL: itp2016.inria.fr

Language: English - Date: 2016-08-30 03:42:16
    182

    Journal Highlight: Eosinophil-Mediated Tumoricidal Activity Reviewed by Neda Farahi DIVISION OF RESPIRATORY MEDICINE, DEPARTMENT OF MEDICINE, UNIVERSITY OF CAMBRIDGE, UK

    Add to Reading List

    Source URL: www.eosinophil-society.org

    Language: English - Date: 2016-02-17 09:42:24
      183

      Complex Wavelets: What are they and what can they do? Nick Kingsbury Signal Processing and Communications Group, Dept. of Engineering University of Cambridge, Cambridge CB2 1PZ, UK.

      Add to Reading List

      Source URL: sigproc.eng.cam.ac.uk

      Language: English - Date: 2013-08-05 16:36:29
        184

        Spatial Policies for Sentient Mobile Applications David Scott, Alastair Beresford Laboratory for Communication Engineering, University of Cambridge Department of Engineering, William Gates Building, 15 JJ Thomson Avenue,

        Add to Reading List

        Source URL: dave.recoil.org

        Language: English - Date: 2011-10-25 12:01:10
          185

          Safe Cross-Language Inheritance Kathryn E. Gray Computer Laboratory, University of Cambridge, UK Abstract. Inheritance is a standard means for reuse and for interfacing

          Add to Reading List

          Source URL: www.cl.cam.ac.uk

          - Date: 2012-07-16 09:41:40
            186

            UNIVERSITY OF CAMBRIDGE Cambridge Working Papers in Economics

            Add to Reading List

            Source URL: www.econ.cam.ac.uk

            - Date: 2017-07-24 04:46:42
              187

              Causal Commutative Arrows Revisited Jeremy Yallop Hai Liu University of Cambridge, UK

              Add to Reading List

              Source URL: www.thev.net

              - Date: 2016-08-08 12:30:37
                188

                When is a Container a Comonad? Danel Ahman1? , James Chapman2 , and Tarmo Uustalu2 1 Computer Laboratory, University of Cambridge, 15 J. J. Thomson Avenue, Cambridge CB3 0FD, United Kingdom,

                Add to Reading List

                Source URL: danelahman.github.io

                - Date: 2018-03-25 20:15:13
                  189

                  Transfinite Step-indexing: Decoupling Concrete and Logical Steps Kasper Svendsen1 , Filip Sieczkowski2 , and Lars Birkedal3 1 University of Cambridge,

                  Add to Reading List

                  Source URL: www.kasv.dk

                  - Date: 2016-10-22 09:38:20
                    190

                    Does Algorithmic Probability Solve the Problem of Induction? Ray Solomonoff Visiting Professor, Computer Learning Research Center Royal Holloway, University of London Mailing Address: P.O.B, Cambridge, Ma,

                    Add to Reading List

                    Source URL: www.raysolomonoff.com

                    - Date: 2015-09-06 14:57:06
                      UPDATE